A Coloured Petri Net model of an Open Object–based System
نویسنده
چکیده
Open Object–based systems are becoming increasingly used as the basis for design of distributed systems. These systems are inherently complex due to concurrency and synchronisation of activities operating in parallel. In order to engineer these Open Distributed Systems, tools are required to aid in the design and analysis processes. In this paper, Coloured Petri Nets and the Design/CPN tool are used to model the ODP Trader which has been recently standardised by ISO and ITU–T. The Trader is an integral component of an object–based system because it provides a dynamic resource location service. A Coloured Petri Net model of the Trader is presented in an electronic commerce environment, where interworking of Traders is demonstrated.
منابع مشابه
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModelling an Object Based System with Coloured Petri Nets
The Reference Model for Open Distributed Processing (RM–ODP) defines an architecture which allows heterogeneous software components to interact, where entities in the system are Objects. In RM–ODP, entire applications may be considered to be Objects. In order to allow dynamic location of services/resources, a Trading function has been defined which is performed by a Trader instance. In this pap...
متن کاملInformation Systems Modelling Using Loopn++, an Object Petri Net Scheme
There have been significant recent developments in high level specification schemes for modelling information systems using formalisms based on petri nets. In particular, the application of object-based design principles have produced high level petri nets which can be used to model large complex systems. This paper discusses a new language and modelling scheme, known as LOOPN++, which fully in...
متن کاملUsing Coloured Petri Nets to aid the Design of Object–based Systems
As middleware and networking technologies improve, heterogenous distributed systems are expected to become commonplace. An Object–based approach to designing these systems has been adopted by ISO and ITU–T in their standardisation of the Reference Model for Open Distributed Processing (RM–ODP). An important infrastructure Object within these systems is the recently standardised Trader, which pr...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کامل